An Algebra of Pure Quantum Programming
نویسندگان
چکیده
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previously developed denotational semantics of QML. The completeness proof also gives rise to a normalisation algorithm following the normalisation-by-evaluation approach. The current work focuses on the pure fragment of QML, omitting measurements.
منابع مشابه
Decomposition of ideals into pseudo-irreducible ideals in amalgamated algebra along an ideal
Let $f : A rightarrow B$ be a ring homomorphism and $J$ an ideal of $B$. In this paper, we give a necessary and sufficient condition for the amalgamated algebra along an ideal $Abowtie^fJ$ to be $J$-Noetherian. Then we give a characterization for pseudo-irreducible ideals of $Abowtie^fJ$, in special cases.
متن کاملHermitian metric on quantum spheres
The paper deal with non-commutative geometry. The notion of quantumspheres was introduced by podles. Here we define the quantum hermitianmetric on the quantum spaces and find it for the quantum spheres.
متن کاملReiter’s Properties for the Actions of Locally Compact Quantum Goups on von Neumann Algebras
متن کامل
اثر ثابت های جفت شدگی بین نزدیکترین همسایه ها درسیم وحلقه کوانتومی جفت شده
The electronic transport in an infinite arrays of driven quantum wells coupled to a quantum ring is studied via a single-band tunneling tight-biding Hamiltonian by perturbing and numerical simulations approaches. In the perturbing approach, an analytical relationship in terms of the coupling constants between nearest-neighbors in quantum wire coupled to a ring based on the quantum dynamical alg...
متن کاملTopological Analysis and Quantum Mechanical Structure of C4 and C5 Pure Carbon Clusters
Two bonding models i.e cumullenic and acetylenic models have been proposed to account for thebonding patterns in linear carbon clusters while the bonding patterns in cyclic and 3D geometrieS of theseclusters have remained ambiguous.This work presents the bonding patterns in various C4 and C5 pure clusters at MP2/aug-cc-pVTZ level oftheory. This subject is studied in the light of modern bonding ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 170 شماره
صفحات -
تاریخ انتشار 2007